/*!
 * \file symbolic_test.cc
 *
 * \brief Symbolic tests
 *
 * This file is to test the IEGenLibContext class.
 *
 * \date Started: 1/6/11
 * \date Last Modified: 1/6/11
 * \authors Alan LaMielle
 */

#include <iegenlib/iegenlib.h>

#include <gtest/gtest.h>

using iegenlib::Symbolic;

TEST(SymbolicTest,Name){
   Symbolic n("n");

   EXPECT_EQ(n.getName(),"n");
}

TEST(SymbolicTest,Bounds){
  Symbolic n("n",1);
  EXPECT_EQ(1,n.getLowerBound());

  Symbolic m("m",1,2);
  EXPECT_EQ(1,m.getLowerBound());
  EXPECT_EQ(2,m.getUpperBound());
}

TEST(SymbolicTest,Comparison){
   Symbolic n1("n"),n2("n"),m("m");

   EXPECT_LT(m,n1);
   EXPECT_LT(m,n2);
   EXPECT_EQ(n1,n2);
   EXPECT_NE(n1,m);
}
